4 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
9379 | A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |